example 9.1